Merge branch 'devel-styling' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 30 Jul 2018 10:49:56 +0000 (10:49 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 30 Jul 2018 10:49:56 +0000 (10:49 +0000)
Devel styling

See merge request GNOME/gtk!168


Trivial merge